Nuprl Definition : Msg_sub
0,22
postcript
pdf
Msg_sub(
l
;
M
) == {
m
:Msg(
M
)| haslink(
l
;
m
) }
latex
Definitions
haslink(
l
;
m
)
,
Msg(
M
)
FDL editor aliases
Msg_sub
origin